Free shipping on all orders! No minimum purchase required.
Software Engineering and Formal Methods
by Antonio Cerone (Editor), Marco Roveri (Editor)
